TransEDA - DAC 2002 - Beyond the Verification Barrier
How would you like to be able to start verification at the architecture level and leverage the results throughout the design process?
How would you like to be able to slash verification time by seamlessly integrating results from formal, semiformal, simulation and emulation-based verification?
This is the vision that TransEDA is turning into a reality, leading the industry beyond the verification barrier with a property-driven verification methodology. Interested? Visit us at DAC or contact us to schedule a private suite demo (info@transeda.com, 1-866-682-3154) to learn more!
Not going to DAC this year? Contact us (info@transeda.com, 1-866-682-3154) and we'll make sure you get all the latest news.
Why You Need to Visit TransEDA This Year
Visit TransEDA's booth number 1642 at DAC to get a demo of our latest tools:
- VN-Property DX - Dynamic Property Checking from Architecture to System Level. Easier than assertions, standards-based, inherent reusability. The first in a series of property-based tools from TransEDA.
- VN-Cover Emulator - Coverage Analysis for Hardware-Assisted Verification Systems. Measure coverage in a fraction of the time!
- VN-Cover - Code and FSM Coverage Analysis. The industry's first and best coverage analysis solution!
- VN-Check - Configurable HDL Checking. The ideal mix of power, ease-of-use, and flexibility!
- Foundation Models - System-Level Verification IP. Robust, production-proven models, monitors and properties for AMBA, HyperTransport, Intel® processors, PCI-X, and more!
Verification Methodology Manual, 3rd Edition
If you visit TransEDA's booth for a product demo, we'll give you a free copy of the new Verification Methodology Manual (VMM). The third edition of the VMM - an educational text for better understanding a state-of-the-art coverage-directed verification methodology - contains a 45 percent increase in content compared with the previous edition. New sections have been added on dynamic property checking, FSM path coverage and more. At 244 pages, novice and experienced engineers alike can benefit from this manual on how to speed the verification process.
Private Suite Demos
Want to learn even more? Register for a private suite demo and get the inside scoop. We'll let you see what we've got planned for the cutting-edge formal technology we recently licensed from SRI International and how the integration of formal, semiformal, simulation and emulation based verification around a property-based flow will enable a fundamental advance in verification productivity. Just send us an email to info@transeda.com and we'll contact you to schedule a private suite demo.
TransEDA 10-Year Anniversary
Now, some fun stuff - this month marks TransEDA's tenth anniversary. The company was founded on May 19, 1992, and went on to invent a whole new category of EDA tools - code coverage for HDL. Today, the company is leading the industry to the next level of coverage-directed verification. To celebrate, we'll have a birthday cake each day of DAC in TransEDA's demo suite, number 4130. Stop by for a slice on Monday June 10, Tuesday June 11, or Wednesday June 12, anytime after noon.
DAC 2002
The Design Automation Conference (DAC) is being held June 10-14 at the Ernest N. Morial Convention Center in New Orleans. You can find more information on DAC at the official website - www.dac.com.
We look forward to seeing you in New Orleans!
TransEDA
|
